This PR contains major changes to reproducible deployments and verification of Stylus contracts. To read the motivation, and understand exactly how it works, see Contract Verification For Stylus Programs.

Changelog

• Standardizes Docker image builds to x86 arch, making sure that a program can be reproducibly deployed on Mac M1, for example, and verified on ubuntu x86, as Mac's can do this through rosetta
• Removes the --rust-stable flag as it instead relies on the Stylus program's rust-toolchain.toml file to specify a version
• Removes the reproducible subcommand of Cargo stylus, as instead deploy, check, and verify are made reproducible by default by running in a Docker environment
• Rejects rust-toolchain.toml files that do not contain a specific release channel, for instance, stable, nightly, beta are not enough. A user must declare a specific nightly version of a major.minor.patch version
• Rejects reproducible builds on Native windows, and instead requires the user to build in WSL (Windows Linux Subsystem)
• Standardizes Docker image builds for Cargo Stylus to use the rust:1.79 image. This is simply used for installing cargo, but the user will specify the exact toolchain they plan to use for building and deploying their actual project
• Allows skipping reproducible verification by using the --no-verify flag
• Ensures that the Docker image being built uses the correct, user-specified toolchain and the cargo stylus version of the host. The verifier must know the cargo stylus version the deployer used